Pierre de Fermat theorem